<?
	echo '<div id="login">';
	if($username == '') {
		echo anchor('user/registration','Registration')." ";
		echo anchor('user/login','Login');
	}
	else {
		echo anchor('user/profile','My Profile')." ";
		echo anchor('user/logout','Logout');
	}	
	echo '</div>';
?>